Congruence permutability for algebras with pseudocomplementation
نویسندگان
چکیده
منابع مشابه
Equations implying congruence n-permutability and semidistributivity
T. Dent, K. Kearnes and Á. Szendrei have defined the derivative, Σ′, of a set of equations Σ and shown, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent (Σ′ |= x ≈ y). In this paper we investigate other types of derivatives that give similar results for congruence n-permutability for some n, and for congruence semidistributivity.
متن کاملNOTES ON CONGRUENCE n-PERMUTABILITY AND SEMIDISTRIBUTIVITY
In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ′, of a set of equations Σ and show, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent (Σ′ |= x ≈ y). In this paper we investigate other types of derivatives that give similar results for congruence n-permutable for some n, and for congruence semidistributivity. In a recent paper [1] T. Dent, K. Kearne...
متن کاملCongruence Lattices of Congruence Semidistributive Algebras
Nearly twenty years ago, two of the authors wrote a paper on congruence lattices of semilattices [9]. The problem of finding a really useful characterization of congruence lattices of finite semilattices seemed too hard for us, so we went on to other things. Thus when Steve Seif asked one of us at the October 1990 meeting of the AMS in Amherst what we had learned in the meantime, the answer was...
متن کاملDistributive Congruence Lattices of Congruence-permutable Algebras
We prove that every distributive algebraic lattice with at most א1 compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice of some right module. The א1 bound is optimal, as we find a distributive algebraic lattice D with א2 compact elements that is not isomorphic to the congruence lattice of any algebra with almost permutable congruences (hence n...
متن کاملAlgebras with Restricted Cardinalities of Congruence Classes
Let A = (A;F ) be an algebra and ConA its congruence lattice. Recall that A is congruence uniform (see e.g. [1], [5]) if for each Θ ∈ ConA and every a, b ∈ A, card[a]Θ = card[b]Θ. Examples of congruence uniform algebras are e.g. groups, rings or Boolean algebras. A variety V is congruence uniform if each A ∈ V has this property. It was proved by W. Taylor [5] that every congruence uniform varie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 1981
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091500004004